A counterexample in quasi-category theory
نویسندگان
چکیده
منابع مشابه
The 2-category theory of quasi-categories
In this paper we re-develop the foundations of the category theory of quasicategories (also called ∞-categories) using 2-category theory. We show that Joyal’s strict 2-category of quasi-categories admits certain weak 2-limits, among them weak comma objects. We use these comma quasi-categories to encode universal properties relevant to limits, colimits, and adjunctions and prove the expected the...
متن کاملCategorial compositionality continued: A category theory explanation for quasi-systematicity
The classical account for systematicity of human cognition supposes: (1) syntactically compositional representations; and (2) processes that are sensitive to their structure. The problem with this account is that there is no explanation as to why these two components must be compatible, other than by ad hoc assumption (convention) to exclude nonsystematic variants that, e.g., mix prefix and pos...
متن کاملA Counterexample in Sturm-Liouville Completeness Theory
We give an example of an indefinite weight Sturm-Liouville problem whose eigenfunctions form a Riesz basis under Dirichlet boundary conditions but not under anti-periodic boundary conditions.
متن کاملFibrations in ∞-category Theory
In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher category theory.
متن کاملCategory Theory
This article presents a development of Category Theory in Isabelle. A Category is defined using records and locales in Isabelle/HOL. Functors and Natural Transformations are also defined. The main result that has been formalized is that the Yoneda functor is a full and faithful embedding. We also formalize the completeness of many sorted monadic equational logic. Extensive use is made of the HO...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2019
ISSN: 0002-9939,1088-6826
DOI: 10.1090/proc/14692